2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
Unifying Theories of Programming: First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers ... Computer Science and General Issues)
Автор:
Steve Dunne
, Автор:
Bill Stoddart
Категория:
Компьютеры
Размер книги: 2.89 Mb
Unifying Theories of Programming, 1 conf., UTP 2006
Автор:
Steve Dunne
, Автор:
Bill Stoddart
Категория:
Cs_Computer science
,
CsLn_Lecture notes
Размер книги: 2.24 Mb
Integrated Formal Methods: Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings
Автор:
Wolfgang Grieskamp
, Автор:
Thomas Santen
, Автор:
Bill Stoddart
Размер книги: 3.20 Mb
